Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
451	Symbolic Dynamic Programming for First-Order MDPs Craig Boutilier Ray Reiter Bob Price Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2010-08-27 08:09:21 Predicate logic Dynamic programming Functions and mappings Equations Mathematical optimization Markov decision process Reinforcement learning Continuous function Function Mathematics Statistics Logic
452	Simplifying diagnosis using LSAT: a propositional approach to reasoning from first principles Andreas Bauer Institut f¨ ur Informatik Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2006-11-17 13:08:20 Logic programming Boolean algebra Non-classical logic Predicate logic Propositional calculus Diagnosis Boolean satisfiability problem Circumscription Mereology Logic Mathematical logic Mathematics
453	On Formal Specification of a Proof Tool R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2004-04-12 08:34:13 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
454	WP 0.8 WP Plug-in Manual Version 0.9 for Sodium[removed]Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:42 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
455	The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL Chitta Baral1 , Marcos Alvarez Gonzalez1 , and Aaron Gottesman1 School of Computing, Inf Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-02-13 21:47:51 Mathematical logic Type theory Logic in computer science Theory of computation Predicate logic Combinatory logic Simply typed lambda calculus Type constructor First-order logic Theoretical computer science Lambda calculus Mathematics
456	ProofPower Z TUTORIAL PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:49 Propositional calculus First-order logic Model theory Predicate logic Function Lambda calculus Proposition Type theory Logic Mathematics Mathematical logic
457	On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:16 Functional predicate Model theory Predicate Programming language Necessity and sufficiency Logic Mathematical logic Mathematics
458	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Adjoint functors Program logic Computer programming Functional programming Models of computation Monad Predicate transformer semantics ALGOL 68 Hoare logic Software engineering Formal methods Computing
459	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {P} . . . {Q} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic Hoare logic Predicate transformer semantics Mathematics Creative Commons Structure Model theory Program logic Open content Formal methods
460	Technical Report CSL-97-2R August 1997, Revised March 1999 The Formal Semantics of PVS1 Sam Owre [removed] Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2015-01-13 22:35:40 Model theory Type theory Predicate logic Semantics Data types Prototype Verification System Simply typed lambda calculus First-order logic Type system Logic Mathematical logic Mathematics

UPDATE